ioTCM currentFile None Direct (cmd_load currentFile [])
ioTCM currentFile Interactive Direct (cmd_refine 1 noRange "unit")
ioTCM currentFile Interactive Direct (cmd_autoOne 0 noRange "")
